This paper describes the Electronic Schoolbag, a digital workspace developed at the University of Savoie (France) and analyses its usages. This online environment is dedicated to the educational world: it offers pupils, students, teachers, school staff, or parents, personal and group workspaces in which individual or collaborative activities can take place. The flexibility of this software, allowing synchronous or asynchronous activities, lies in the “participation model”. This model allows groups themselves to describe and organise their activities. The architecture that permits (...) its implementation in the Electronic Schoolbag workspace is described. The study of the practices of the workspace is then presented. This requires different observation methods, according to the different procedures chosen: real practices provided by quantitative methods (analysis of the logs of the actions and questionnaires) and imagined practices provided by qualitative methods (semi-directive interviews). The results obtained from the university users allow us to assess the evolution of the usages for different periods and on different university sites. The observatory also lets us list the main uses of the Electronic Schoolbag for educative communication (collaborative vs. individual, informative vs. communicative). (shrink)

We review the observational foundations of the ΛCDMΛCDM model, considered by most cosmologists as the standard model of cosmology. The Cosmological Principle, a key assumption of the model is shown to be verified with increasing accuracy. The fact that the Universe seems to have expanded from a hot and dense past is supported by many independent probes . The explosion of detailed observations in the last few decades has allowed for precise measurements of the cosmological parameters within Friedman–Lemaître–Robertson–Walker cosmologies leading (...) to the ΛCDMΛCDM model: an apparently flat Universe, dominated by a cosmological constant, whose matter component is dominantly dark. We describe and discuss the various observational probes that led to this conclusion and conclude that the ΛCDMΛCDM model, although leaving a number of open questions concerning the deep nature of the constituents of the Universe, provides the best theoretical framework to explain the observations. (shrink)

23 pages, no figure. Proceedings of "Philosophical Aspects of Modern Cosmology" held in Granada, Spain, 22-23 Sept. 2011. Studies in History and Philosophy of Modern Physics ; doi:10.1016/j.shpsb.2013.02.002.

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

An indispensable and comprehensive resource for students and scholars of philosophy of religion.

Gut microbiome plays a significant role in defining the health status of subjects, and recent studies highlight the importance of using time series strategies to analyse microbiome dynamics. In this paper, we develop a Bayesian model for microbiota longitudinal data, based on Dirichlet distribution with time-varying parameters, that take into account the compositional paradigm and consider principal balances. The proposed model can be effective for predicting the future dynamics of a microbial community in the short term and for analysing the (...) microbial interactions using the value of the estimated parameters. The usefulness of the proposed model is illustrated with six different datasets, and a comparison study with four alternative models is provided. (shrink)

Purpose This paper aims to explore the ethical and social impact of augmented visual field devices, identifying issues that AVFDs share with existing devices and suggesting new ethical and social issues that arise with the adoption of AVFDs. Design/methodology/approach This essay incorporates both a philosophical and an ethical analysis approach. It is based on Plato’s Allegory of the Cave, philosophical notions of transparency and presence and human values including psychological well-being, physical well-being, privacy, deception, informed consent, ownership and property and (...) trust. Findings The paper concludes that the interactions among developers, users and non-users via AVFDs have implications for autonomy. It also identifies issues of ownership that arise because of the blending of physical and virtual space and important ways that these devices impact, identity and trust. Practical implications Developers ought to take time to design and implement an easy-to-use informed consent system with these devices. There is a strong need for consent protocols among developers, users and non-users of AVFDs. Social implications There is a social benefit to users sharing what is visible on their devices with those who are in close physical proximity, but this introduces tension between notions of personal privacy and the establishment and maintenance of social norms. Originality/value There is new analysis of how AVFDs impact individual identity and the attendant ties to notions of ownership of the space between an object and someone’s eyes and control over perception. (shrink)

This paper analyzes certain technical details of Floridi’s Theory of Strongly Semantic Information. It provides a clarification regarding desirable properties of degrees of informativeness functions by rejecting three of Floridi’s original constraints and proposing a replacement constraint. Finally, the paper briefly explores the notion of quantities of inaccuracy and shows an analysis that mimics Floridi’s analysis of quantities of vacuity.

We demonstrate that different categories of software raise different ethical concerns with respect to whether software ought to be Free Software or Proprietary Software. We outline the ethical tension between Free Software and Proprietary Software that stems from the two kinds of licenses. For some categories of software we develop support for normative statements regarding the software development landscape. We claim that as society's use of software changes, the ethical analysis for that category of software must necessarily be repeated. Finally, (...) we make a utilitarian argument that the software development environment should encourage both Free Software and Proprietary Software to flourish. (shrink)

“Congealing” is a word that evokes senses of unpleasantness where perhaps something inviting had once been. It also implies that things are becoming less fluid and more rigid. As we began organizing ETHICOMP 2018, we wanted a theme that reflected the impact of technologies on human cultures, practices and lives. Our initial draft of the theme was “Creating, Changing, and Congealing Ways of Life with Technologies.” And while we were eventually persuaded to use a more congenial way of putting the (...) idea (it became “Creating, Changing, and Coalescing Ways of Life with Technologies”), in some ways, it remains true for us that “congealing,” and its connotations of something less pleasant, gets at the original idea. As we incorporate technologies into our practices, much attention is paid to how they change our ways of doing things. But technologies can also help ways of life set-up and harden like yesterday’s leftovers – not appealing, yet difficult to budge and sometimes quite unhealthy. Once a particular process is built around a piece of technology, it can become entrenched and increasingly difficult to change. For a historical example, consider how difficult it was to adapt records and software on the eve of the 21st century in response to the so-called “Y2K” problem. In early software development, efficient use of memory was an important design consideration. It had become a standard practice to use a 2-digit field for the year, which would roll to from “99” to “00” in the year 2000, causing problems for datedependent functions. Technologies can also reflect and reinforce existing cultural tendencies. For a recent example, consider the human resources software created by Amazon that used its existing hiring data to train a machine-learning system to rate applicants. The resulting system turned out to be biased against women applicants, downranking resumes that included the word “woman” or “women’s.” Amazon ended up scrapping the project altogether. Because of these kinds of effects, we wanted to encourage people to think beyond well-worn paradigms like “technologies are disruptive” to consider other kinds of effects they can have. As it happened, the imagery of “congealing” proved distasteful enough that the steering committee opted for a more neutral term. But even with the less-dramatic wording the conference ended up attracting a rich and diverse range of papers that examined technological issues from a variety of angles, exactly as we had hoped. (shrink)

This commentary on Fresco's article "Information processing as an account of concrete digital computation" illuminates the two intertwined roles that the definition of the term "information" plays in Fresco's analysis. It provides analysis of the notion of actualizing control in information processing. The key point made is that not all control information in common computational devices cannot be processed.

Knowledge has been a subject of philosophical study since ancient times. This is not surprising since knowledge is crucial for humans to control their actions and the appetite for acquiring it seems innate to the human race. Philosophy, therefore, has always occupied itself with the question as to the nature of knowledge. This area of philosophy is generally referred to as epistemology from the Greek word for knowledge: episteme. Plato defined knowledge as “justified true belief,” and this definition has influenced (...) philosophers ever since; cf. Gettier and Pollock. Although sensible, this definition does not yet explain the nature of knowledge, since all of the three notions of ‘justification’, ‘truth’, and ‘belief’ are not yet clear and still subject to discussion. It would go beyond the scope of our purposes here to go into this at this moment, but it is touched on later in this chapter. (shrink)

In this paper we address the question of when a researcher is justified in describing his or her artificial agent as demonstrating ethical decision-making. The paper is motivated by the amount of research being done that attempts to imbue artificial agents with expertise in ethical decision-making. It seems clear that computing systems make decisions, in that they make choices between different options; and there is scholarship in philosophy that addresses the distinction between ethical decision-making and general decision-making. Essentially, the qualitative (...) difference between ethical decisions and general decisions is that ethical decisions must be part of the process of developing ethical expertise within an agent. We use this distinction in examining publicity surrounding a particular experiment in which a simulated robot attempted to safeguard simulated humans from falling into a hole. We conclude that any suggestions that this simulated robot was making ethical decisions were misleading. (shrink)

What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...) digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation. (shrink)

The use of the computer metaphor has led to the proposal of mind architecture (Pylyshyn 1984; Newell 1990) as a model of the organization of the mind. The dualist computational model, however, has, since the earliest days of psychological functionalism, required that the concepts mind architecture and brain architecture be remote from each other. The development of both connectionism and neurocomputational science, has sought to dispense with this dualism and provide general models of consciousness – a uniform cognitive architecture –, (...) which is in general reductionist, but which retains the computer metaphor. This paper examines, in the first place, the concepts of mind architecture and brain architecture, in order to evaluate the syntheses which have recently been offered. It then moves on to show how modifications which have been made to classical functionalist mind architectures, with the aim of making them compatible with brain architectures, are unable to resolve some of the most serious problems of functionalism. Some suggestions are given as to why it is not possible to relate mind structures and brain structures by using neurocomputational approaches, and finally the question is raised of the validity of reductionism in a theory which sets out to unite mind and brain architectures. (shrink)